Mathematical programming

Results: 4310



#Item
481Proof assistants / Software / Programming language theory / Functional languages / Type theory / Coq / Agda / Theorem / Metamath / Coenzyme Q10 / Mathematical proof / Mathematical logic

Microsoft Word - writproj_title.doc

Add to Reading List

Source URL: www.cs.sjsu.edu

Language: English - Date: 2008-01-23 11:12:16
482Genetic algorithms / Machine learning / Artificial intelligence / Evolutionary algorithms / Applied mathematics / Evolution / Learning / Mathematical optimization / Genetic programming / Evolutionary computation / Statistical classification / Fitness function

Searching for Novel Classifiers Enrique Naredo, Leonardo Trujillo∗ , and Yuliana Martínez Doctorado en Ciencias de la Ingeniería, Departamento de Ingeniería Eléctrica y Electrónica, Instituto Tecnológico de Tijua

Add to Reading List

Source URL: eplex.cs.ucf.edu

Language: English - Date: 2013-06-04 16:59:32
483C++ / Software engineering / Parabolas / Computer programming / Curves / Root-finding algorithm / C++ string handling / Mathematical optimization / Computing

Root FindingMinimization Parabola ..................... .............

Add to Reading List

Source URL: genome.sph.umich.edu

Language: English - Date: 2012-11-13 04:12:38
484Object-oriented programming languages / Scripting languages / Array programming languages / Mathematical software / Cross-platform software / NumPy / Matplotlib / Jython / SciPy / SageMath / Hierarchical Data Format / Array data type

Diamond SciSoft Python Guide Release 1.0 Diamond Light Source, Scientific Software Team January 21, 2016

Add to Reading List

Source URL: www.opengda.org

Language: English - Date: 2016-02-23 11:04:51
485Mathematics / Computational complexity theory / Computer science / Analysis of algorithms / Linear programming / Operations research / Mathematical optimization / Smoothed analysis / KleeMinty cube / Simplex algorithm / Daniel Spielman / Algorithm

Proceedings of the International Congress of Mathematicians Hyderabad, India, 2010 The Work of Daniel A. Spielman Gil Kalai Dan Spielman has made groundbreaking contributions in theoretical computer

Add to Reading List

Source URL: www.icm2010.in

Language: English - Date: 2012-02-02 09:07:19
486Economy / Business / Operations research / Mathematical optimization / Fisheries management / Economics / Stochastic programming / Net present value / Dynamic programming

Optimal management of a stochastically varying population when policy adjustment is costly Carl Boettigera,∗, Michael Bodec , James N. Sanchiricob , Jacob LaRivieree , Alan Hastingsb , Paul R. Armsworthd arXiv:

Add to Reading List

Source URL: arxiv.org

Language: English - Date: 2015-07-27 20:45:05
487Transport / Transportation planning / Route assignment / Traffic flow / Computable general equilibrium / Land-use forecasting / Draft:Extended mathematical programming

An Integrated Transport Network-Computable General Equilibrium Models for Zurich Thomas F. Rutherford and Renger van Nieuwkoop ∗

Add to Reading List

Source URL: www.strc.ch

Language: English - Date: 2011-05-06 04:58:25
488Object-oriented programming languages / Scripting languages / Array programming languages / Cross-platform software / Mathematical software / NumPy / Matplotlib / Jython / SciPy / Hierarchical Data Format / SageMath / ROOT

Diamond SciSoft Python Guide Release 1.0 Diamond Light Source, Scientific Software Team January 21, 2016

Add to Reading List

Source URL: www.opengda.org

Language: English - Date: 2016-02-23 11:05:09
UPDATE